Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000C07 | Arnaud Lanoix [France] ; Olga Kouchnarenko [France] | Component Substitution through Dynamic Reconfigurations |
002128 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components |
002397 | Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France] | Combining Proof and Model-checking to Validate Reconfigurable Architectures |
002A20 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Using Temporal Logic for Dynamic Reconfigurations of Components |
This area was generated with Dilib version V0.6.33. |